$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. ($e$ $<$ ${\it e'}$) $\Rightarrow$ ($\neg$(${\it e'}$ $<$ $e$))